N:=e->(implements)
I
